autonomy logic Summary